properties of triangle inequalities